String theory,Einstein, and the identity of physics: Theory assessment in absence of the empirical

String theorists are certain that they are practicing physicists. Yet, some of their recent critics deny this. This paper argues that this conflict is really about who holds authority in making rational judgment in theoretical physics. At bottom, the conflict centers on the question: who is a proper physicist? To illustrate and understand the differing opinions about proper practice and identity, we discuss different appreciations of epistemic virtues and explanation among string theorists and their critics, and how these have been sourced in accounts of Einstein's biography. Just as Einstein is claimed by both sides, historiography offers examples of both successful and unsuccessful non-empirical science. History of science also teaches that times of conflict are often times of innovation, in which novel scholarly identities may come into being. At the same time, since the contributions of Thomas Kuhn historians have developed a critical attitude towards formal attempts and methodological recipes for epistemic demarcation and justification of scientific practice. These are now, however, being considered in the debate on non-empirical physics.     

多孔结构对Vero White型光敏树脂力学性能的影响

多孔结构设计是影响使用性能的主要因素之一,优化多孔结构是减少质量的重要途径.利用静力学仿真分析不同板材内部结构力学性能的变化规律及特点.采用以色列Objet Eden250光固化设备,对Vero White型光敏树脂进行不同结构光固化成型,利用AG-Xplus电子万能试验机测试了试样抗压性能,并与仿真结果对比.研究结果表明,多孔结构的抗压强度随着孔隙率的升高而降低,不同结构的多孔结构的抗压强度的变化范围在15～70 MPa.蜂窝状结构的性能优于六面体结构,六面体结构优于八面体结构.研究结果与理论结果基本一致,为多孔结构在增材制造的成功应用提供了理论依据和实验依据.     

基于自然边界元的一类拟线性问题的数值算法

基于自然边界归化原理，利用非重叠型区域分解算法（即Dirichlet-Neumann交替算法）研究了长条形区域拟线性方程问题.在得到椭圆人工边界上的自然积分方程后，构造出相应的交替算法，并根据非线性算子的特性，证明了算法在连续和离散条件下的收敛性.数值实例的结果表明，算法是可行且有效的.     

基于自注意力机制的科技术语自动提取技术研究

科技术语提取是科技术语自动处理的重要环节,对后续的机器翻译、信息检索、QA问答等任务有重要意义。传统的人工科技术语提取方法耗费大量的人力成本。而一种自动提取科技术语方法是将术语提取转化为序列标注问题,通过监督学习方法训练出标注模型,但是面临缺乏大规模科技术语标注语料库的问题。文章引入远程监督的方法来产生大规模训练标注语料。另外又提出基于自注意力机制的Bi-LSTM的模型架构来提高科技术语提取结果。发现新模型在发现新的科技术语的能力上远远优于传统机器学习模型(CRF)。     

数控机床故障分析与可靠性评价技术的研究

针对传统数控机床可靠性建模时只考虑故障间隔时间而忽略故障性质的现象，提出兼顾机械故障和电气故障的混合威布尔分布模型，进而提高模型准确度.利用最大似然法来确定混合威布尔分布模型参数，用皮尔逊相关系数来确定数控机床各故障时间之间的关系.并通过K-S方法对模型进行检验， 最后确定其符合混合威布尔分布，并运用可靠性评定方法得出数控机床的平均无故障时间.     

Ordinary language philosophy,explanation, and the historical turn in philosophy of science

Taking a cue from remarks Thomas Kuhn makes in 1990 about the historical turn in philosophy of science, I examine the history of history and philosophy of science within parts of the British philosophical context in the 1950s and early 1960s. During this time, ordinary language philosophy's influence was at its peak. I argue that the ordinary language philosophers' methodological recommendation to analyze actual linguistic practice influences several prominent criticisms of the deductive-nomological model of scientific explanation and that these criticisms relate to the historical turn in philosophy of science. To show these connections, I primarily examine the work of Stephen Toulmin, who taught at Oxford from 1949 to 1954, and Michael Scriven, who completed a dissertation on explanation under Gilbert Ryle and R.B. Braithwaite in 1956. I also consider Mary Hesse's appeal to an ordinary language-influenced account of meaning in her account of the role of models and analogies in scientific reasoning, and W.H. Watson's Wittgensteinian philosophy of science, an early influence on Toulmin. I think there are two upshots to my historical sketch. First, it fills out details of the move away from logical positivism to more historical- and practice-focused philosophies of science. Second, questions about linguistic meaning and the proper targets and aims of philosophical analysis are part and parcel of the historical turn, as well as its reception. Looking at the philosophical background during which so-called linguistic philosophers also had a hand in bringing these questions to prominence helps us understand why.     

人工智能:统治人类还是服务人类?——基于历史唯物主义的思考

人工智能引起了社会各界的高度关注,并正在广泛而深刻地影响着社会生活。人们在享受人工智能带来的好处和便利的同时,也对人工智能的风险产生了巨大的担忧。人工智能究竟会统治人类还是服务人类?历史唯物主义为这个问题提供了一个独特的思考视角。从历史唯物主义的视角看,人工智能的本质是人的本质力量的对象化,是人类实践活动的成果。人工智能的活动与人的活动有本质的区别,它不会实践,因而人工智能不是人,更不会全面超越人类和统治人类。人工智能的益处和风险均来自于其应用,而其应用又从根本上取决于其所处的社会生产方式。故人工智能究竟是全面服务人类还是给人类带来风险,从根本上取决于生产方式。     

作战管理系统研究

 分析了作战管理的概念内涵、主要特征及其与相关概念的相互关系，提出了作战管理系统发展历程的一种划分方法，介绍了典型的作战管理系统。通过阐述作战管理系统的发展动因和需求、设计相关体系结构，梳理了力量管理、资源管理、行动管理、战场管理、知识管理、能量管理、运维管理等概念、原理、方法和手段，论述了发展作战管理系统的主要关键技术。     

基于MODIS-NDVI汶川震中区域十年后植被恢复的时空变化特征分析

为分析研究受汶川地震影响下茂县、汶川以及都江堰三县的植被动态恢复状况,通过对中分辨率成像光谱仪-植被指数(MODIS-NDVI)时间序列数据计算2007～2017年各年的植被覆盖度,进一步计算2009～2012年以及2013～2017年植被覆盖恢复率,并结合地形地貌、地质构造、地质灾害、植被类型和人类活动等影响因素探讨该地区植被恢复的时空差异变化。结果表明:研究区植被在2007～2017年这10年内随着时间逐渐恢复,且恢复较好,但震中区域差异明显;结合实地调查滑坡数据,得知研究区与滑坡区植被恢复都表现出明显的滞后性;海拔和道路距离与植被恢复面积比分别存在显著的相关性;不同坡向上的植被恢复面积比也存在差异;研究区内地质构造复杂的区域地质灾害频发,灾害密度越大,植被恢复显著点较少;由于各种植被类型的特性不同,导致植被恢复的快慢不同,其中草甸、针叶林、阔叶林及灌丛自然恢复速率较快。可见,研究区内植被恢复受到自然与人为等多种因素影响,震后绝大部分区域植被在10年内恢复到震前水平,但部分区域需要人类进行政策保护,研究结果可为地震灾后植被恢复的决策干预提供理论支撑。     

13-14世纪巴黎大学思辨式基础科学教育模式探析

伴随古希腊学术典籍,尤其是亚里士多德哲学和科学著作在13世纪巴黎大学艺学院的普及和流行,理性批判精神和辩证法思想汇入到传统"七艺"教学框架中,为思辨式基础科学教育模式的构建奠定了理论基础。注重逻辑思辨的教学理念渗透到"讲授"和"辩论"两大教学环节当中,形成了以"究问"和"辩驳论证"为典型特征的教学方法,重在培养学生的理性怀疑精神,崇尚自由开放的学术风气,有效地促进了科学研究与人才培养的协同发展。14世纪后半叶,在唯名论思潮的影响下,以布里丹为首的巴黎学派将词项逻辑应用于自然科学教育与研究,逻辑思辨与经验证据相结合的假说性论证成为艺学院自然哲学辩论命题的新导向。